Rust의 긴 긴 형식 이름

이 기사의 목적은 매우 긴 이름의 유형을 생성하고 컴파일러에서 재생할 수있는 유형 추론과 경계 경계의 고마움을 이해하는 것입니다. 기념해야 할 첫 게시물. Rust나 C++는, 형명이 길어지기 쉬운 성질을 가지고 있습니다. C++에서 STL을 구사해 코드를 쓰고 있을 때는, 형명의 길이(와 <<<>>가 많음)가 싫어져 버린 적도 있습니다. Rust에서는 형추론(및 그것을 돕는 트레이트 경계)...

유형 추론정적 유형 지정조합 폭발Rust

인간이 형만 쓰면 구현을 의식하지 않아도 좋아지는 미래

유형은 "무슨 일을하고 싶어?"라는 요구 사항의 역할을 가지고, 한편으로 구현해 「어떻게 그 요건을 실현하는가」라고 하는 구체적인 순서의 역할을 가지고 있지요. 그런데 일을 할 수 있는 사람은, 「이런 일 하고 싶다~라고 생각하고 있는데~」라고 전하면, 「아, 그렇다면 구체적으로 이런 방법을 하면 좋을 것 같네요~」 라고 스스로 생각해 제안해 실행해 줘서 엄청 살아날까요. 그렇다면 프로그램의...

유형 추론servant-clientservant하스켈